Homotopy group Totally Explained

Everything about Homotopy Group totally explained

In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The base point preserving maps from an n-dimensional sphere (with base point) into a given space (with base point) are collected into equivalence classes, called homotopy classes. Two mappings are homotopic if one can be continuously deformed into the other. These homotopy classes form a group, called the n-th homotopy group, π_n(X), of the given space X with base point. Topological spaces with differing homotopy groups are never equivalent (homeomorphic), but the converse isn't true. The first homotopy group is also called the fundamental group. The notion of homotopy of paths was introduced by Camille Jordan.

Introduction

In modern mathematics it's common to study a category by associating to every object of this category a simpler object which still retains a sufficient amount of information about the object in question. Homotopy groups are a certain way of associating groups to topological spaces. A group is a set which allows adding of elements in a suitable sense. For examples, the integers Z form a group. Another example are the finite groups Z/sZ.
   The provided link between topology and groups allows the application of group theory to get insights in topology. For example, if two topological objects have different homotopy groups, they can't have the same topological structure, a fact which may be difficult to prove without resorting to non-topological means. For example, the torus seems to be visibly different from the sphere, the former having a "hole", the latter one not having one. However, as continuity, the basic notion of topology, only deals with the local structure, it can be difficult to formally pin down this intuition. The homotopy groups, however, carry information about the global structure.
   As for the example: one can show that the first homotopy group of the torus T ť π₁(T)=Z²,

because the universal cover of the torus is the complex plane C, mapping to the torus T ≅ C / Z². On the other hand the sphere S² satisfies ť π₁(S²)=0,

because every loop can be contracted to a constant map (see homotopy groups of spheres for this and more complicated examples of homotopy groups).
   Hence the torus isn't homeomorphic to the sphere.

Definition

In the n-sphere Sⁿ we choose a base point a. For a space X with base point b, we define π_n(X) to be the set of homotopy classes of maps ť f : Sⁿ → X

that map the base point a to the base point b. In particular, the equivalence classes are given by homotopies that are constant on the basepoint of the sphere. Equivalently, we can define π_n(X) to be the group of homotopy classes of maps g : [0,1]ⁿ → X from the n-cube to X that take the boundary of the n-cube to b. For n ≥ 1, the homotopy classes form a group. To define the group operation, recall that in the fundamental group, the product f * g of two loops f and g is defined by setting (f * g)(t) = f(2t) if t is in [0,1/2] and (f * g)(t) = g(2t-1) if t is in [1/2,1]. The idea of composition in the fundamental group is that of following the first path and the second in succession, or, equivalently, setting their two domains together. The concept of composition that we want for the n-th homotopy group is the same, except that now the domains that we stick together are cubes, and we must glue them along a face. We therefore define the sum of maps f, g : [0,1]ⁿ → X by the formula (f + g)(t₁, t₂, ... t_n) = f(2t₁, t₂, ... t_n) for t₁ in [0,1/2] and (f + g)(t₁, t₂, ... t_n) = g(2t₁-1, t₂, ... t_n) for t₁ in [1/2,1]. For the corresponding definition in terms of spheres, define the sum f + g of maps f, g : Sⁿ → X to be

Psi

composed with h, where

Psi

is the map from Sⁿ to the wedge sum of two n-spheres that collapses the equator and h is the map from the wedge sum of two n-spheres to X that's defined to be f on the first sphere and g on the second.
   If n ≥ 2, then π_n is abelian. (For a proof of this, note that in two dimensions or greater, two homotopies can be "rotated" around each other.)
   It is tempting to try to simplify the definition of homotopy groups by omitting the base points, but this doesn't usually work for spaces that are not simply connected, even for path connected spaces. The set of homotopy classes of maps from a sphere to a path connected space isn't the homotopy group, but is essentially the set of orbits of the fundamental group on the homotopy group, and in general has no natural group structure.
   A way out of these difficulties has been found by defining higher homotopy groupoids of filtered spaces and of n-cubes of spaces. These are related to relative homotopy groups and to n-adic homotopy groups respectively. A higher homotopy van Kampen theorem then enables one to derive some new information on homotopy groups and even on homotopy types. For more background and references, see "Higher dimensional group theory"

and the references below.

Long exact sequence of a fibration

Let p: E → B be a basepoint-preserving Serre fibration with fiber F, that is, a map possessing the homotopy lifting property with respect to CW complexes. Then there's a long exact sequence of homotopy groups ť ... → π_n(F) → π_n(E) → π_n(B) → π_n−1(F) →... → π₀(E) → π₀(B) → 0

Here the maps involving π₀ are not group homomorphisms because the π₀ are not groups, but they're exact in the sense that the image equals the kernel.
Example: the Hopf fibration. Let B equal S² and E equal S³. Let p be the Hopf fibration, which has fiber S¹. From the long exact sequence ť ⋯ → π_n(S¹) → π_n(S³) → π_n(S²) → π_n−1(S¹) → ⋯

and the fact that π_n(S¹) = 0 for n ≥ 2, we find that π_n(S³) = π_n(S²) for n ≥ 3. In particular, π₃(S²) = π₃(S³) = Z.
In the case of a cover space, when the fiber is discrete, we've that π_n(E) is isomorphic to π_n(B) for all n greater than 1, that π_n(E) embeds injectively into π_n(B) for all positive n, and that the subgroup of π₁(B) that corresponds to the embedding of π₁(E) has cosets in bijection with the elements of the fiber.

Methods of calculation

Calculation of homotopy groups is in general much more difficult than some of the other homotopy invariants learned in algebraic topology. Unlike the Seifert-van Kampen theorem for the fundamental group and the Excision theorem for singular homology and cohomology, there's no simple way to calculate the homotopy groups of a space by breaking it up into smaller spaces. However methods developed in the 1980s involving a van Kampen type theorem for higher homotopy groupoids have allowed new calculations on homotopy types and so on homotopy groups. See for a sample result the 2008 paper by Ellis and Mikhailov

listed below.
For some spaces, such as tori, all higher homotopy groups (that is, second and higher homotopy groups) are trivial. These are the so-called aspherical spaces. However, despite intense research in calculating the homotopy groups of spheres, even in two dimensions a complete list isn't known. To calculate even the fourth homotopy group of S² one needs much more advanced techniques than the definitions might suggest. In particular the Serre spectral sequence was constructed for just this purpose.
Certain Homotopy groups of n-connected spaces can be calculated by comparison with homology groups via the Hurewicz theorem.

Relative homotopy groups

There are also relative homotopy groups π_n(X,A) for a pair (X,A). The elements of such a group are homotopy classes of based maps Dⁿ → X which take carry the boundary S^n-1 into A. Two maps f, g are called homotopic relative to A if they're homotopic by a basepoint-preserving homotopy F : Dⁿ × [0,1] → X such that, for each p in S^n-1 and t in [0,1], the element F(p,t) is in A. The ordinary homotopy groups are the special case in which A is the base point.
There is a long exact sequence of relative homotopy groups.

Related notions

The homotopy groups are a cornerstone of the homotopy theory, which in turn stimulated the development model categories. It is possible to define abstract homotopy groups for simplicial sets.

Further Information

Get more info on 'Homotopy Group'.

External Link Exchanges

Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

<a href="http://homotopy_group.totallyexplained.com">Homotopy group Totally Explained</a>

Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.